Bir Noktalama İşareti Olarak Kat

Alana Özgü Dillerin Nitel Olarak Değerlendirilmesi için bir Çerçeve

The characteristics and subtypes of headache in relation to age and gender in a rural community in Eastern Turkey Türkiye'nin doğu ve kırsal kesiminde yaşa ve cinsiyete göre baş ağrısı özellikleri ve alt tipleri

Özet Amaç: Baş ağrısı tüm yaş gruplarında sık görülen yaygın bir halk sağlığı problemi olmakla birlikte, yaşa, cinsiyete ve toplum özelliklerine göre farklılık göstermektedir. Bu hastane bazlı çalışmada, Türkiye’nin kırsal bir bölümünde baş ağrısının özellikleri ve alt tipleri cinsiyete ve yaşa göre incelendi. Gereç ve Yöntem: Toplam 11549 hasta değerlendirildi ve 4951 hastada (%42.8) baş ağrıs...

Bukkal Yoldan Ýlaç Verilmesinde bir Taþýyýcý Olarak Moringa Reçinesinin in vivo ve in vitro Koþularda Ýncelenmesi

Purpose: The objective of the study was to evaluate the naturally available Moringa gum as drug carrier and mucoadhesive component in buccal delivery and to compare the bioavailability of Propranolol Hydrochloride buccal tablet with the oral tablet in healthy human volunteers. Material and Methods: The buccal tablets containing various concentration (Formulation1: 10, F2: 20, F3: 30 and F4: 40 ...

Parasuicidal Patients in the Emergency Department and Their Relationship with Cannabinoid Gene Polymorphism

Giriş: İntihar davranışı ciddi bir sağlık problemidir. İkiz, evlat edinme ve aile içi çatışmalar hakkında yapılan çalışmalarda genetik ve intihar arasında ilişki olduğu gösterilmiştir. CB1 reseptörleri kannabinoid-1 reseptör geni (CNR1) trafından kodlanmaktadır. CNR1 gen polimorfizminin (1359 G/A) majör depresyonu da içeren bir çok nöropsikiyatrik bozuklukla ilişkili olduğu gösterilmiştir. Bu ç...

Automata for KAT Expressions

Kleene algebra with tests (KAT) is a decidable equational system for program verification, that uses both Kleene and Boolean algebras. In spite of KAT ’s elegance and success in providing theoretical solutions for several problems, not many efforts have been made towards obtaining tractable decision procedures that could be used in practical software verification tools. The main drawback of the...